type environment